binary preference relation